Перевод: с английского на русский

с русского на английский

extensible prop

См. также в других словарях:

  • Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… …   Wikipedia

  • Toy piano — The toy piano is a musical instrument, made as a child s toy, but which has also been used in more serious musical contexts. The instrument was invented in Philadelphia in 1872 by a German immigrant named Albert Schoenhut.It is often in the form… …   Wikipedia

  • A-4 Skyhawk — Infobox Aircraft name = A 4 Skyhawk caption = USMC A 4M Skyhawks from VMA 214 The Black Sheep type = Attack aircraft national origin = United States manufacturer = Douglas Aircraft Company McDonnell Douglas designer = Ed Heinemann first flight =… …   Wikipedia

  • Clarion (programming language) — For other uses, see Clarion. Clarion Developer(s) JPI, Clarion International, SoftVelocity Stable release 8.0 / August 30, 2011; 2 months ago (2011 08 30) Operating system …   Wikipedia

  • Comparison of command shells — For more details on this topic, see Shell (computing). A command shell is a command line interface computer program to an operating system. Contents 1 General characteristics 2 Interactive features 3 Programming features …   Wikipedia

  • List of mathematics articles (P) — NOTOC P P = NP problem P adic analysis P adic number P adic order P compact group P group P² irreducible P Laplacian P matrix P rep P value P vector P y method Pacific Journal of Mathematics Package merge algorithm Packed storage matrix Packing… …   Wikipedia

  • Mars 3 — (Марс 3) Características técnicas Otros nombres del orbitador: 1971 049A , mars 3 Orbiter, 05252 Otros nombres del lander: 1971 049F Fecha de lanzamiento: 28 de mayo de 1971 Hora de lanzamiento: 15:26:30 GMT Masa seca en órbita: 2265 kg Orbitador …   Wikipedia Español

  • Northern tamandua — Northern tamandua[1] Conservation status …   Wikipedia

  • yourte — [ jurt ] n. f. VAR. anc. iourte • 1797; jurte 1765; du russe jorta ♦ Tente de peau des nomades de l Asie centrale; hutte conique des Kirghizes, des Samoyèdes. ● yourte ou iourte nom féminin (russe jorta) Tente démontable, à armature extensible de …   Encyclopédie Universelle

  • Сравнение командных оболочек — Подробнее по этой теме см.: Оболочка операционной системы. Командная оболочка  это компьютерная программа с интерфейсом командной строки операционной системы. Содержание 1 Общие характеристики 2 Интеракти …   Википедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»